discriminated union การใช้

• The " option " type is a discriminated union type with choices Some ( x ) or None.
• Mathematically, tagged unions correspond to " disjoint " or " discriminated unions ", usually written using +.
• Pattern matching is also used when accessing discriminated unions  the union is value matched against pattern rules and a rule is selected when a match succeeds.